$\forall$${\it the\_w}$:World, $e$:E. val($e$) $\in$ V(loc($e$);kind($e$))